Enriched closure spaces as a novel framework for domain theory

نویسنده

  • Paul Poncet
چکیده

We propose a generalization of continuous lattices and domains through the concept of enriched closure space, defined as a closure space equipped with a preclosure operator satisfying some compatibility conditions. In this framework we are able to define a notion of waybelow relation; an appropriate definition of continuity then naturally follows. Characterizations of continuity of the enriched closure space and necessary and sufficient conditions for the interpolation property are proved. We also draw a link between continuity and the possibility for the subsets that are open with respect to the preclosure operator to form a topology.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

$L$-enriched topological systems---a common framework of $L$-topology and $L$-frames

Employing the notions of the strong $L$-topology introduced by Zhangand the $L$-frame introduced by Yao  and the concept of $L$-enrichedtopological system defined in the present paper, we constructadjunctions among the categories {bf St$L$-Top} of strong$L$-topological spaces, {bf S$L$-Loc} of strict $L$-locales and{bf $L$-EnTopSys} of $L$-enriched topological systems. All of theseconcepts are ...

متن کامل

From Operational Chu Duality to Coalgebraic Quantum Symmetry

We pursue the principles of duality and symmetry building upon Pratt’s idea of the Stone Gamut and Abramsky’s representations of quantum systems. In the first part of the paper, we first observe that the Chu space representation of quantum systems leads us to an operational form of state-observable duality, and then show via the Chu space formalism enriched with a generic concept of closure con...

متن کامل

On Generalized Injective Spaces in Generalized Topologies

In this paper, we first present a new type of the concept of open sets by expressing some properties of arbitrary mappings on a power set. With the generalization of the closure spaces in categorical topology, we introduce the generalized topological spaces and the concept of generalized continuity and become familiar with weak and strong structures for generalized topological spaces. Then, int...

متن کامل

ON STRATIFIED LATTICE-VALUED CONVERGENCE SPACES

In this paper we provide a common framework for different stratified $LM$-convergence spaces introduced recently. To this end, we slightly alter the definition of a stratified $LMN$-convergence tower space. We briefly discuss the categorical properties and show that the category of these spaces is a Cartesian closed and extensional topological category. We also study the relationship of our cat...

متن کامل

Q-closure spaces

For a small quantaloid Q, a Q-closure space is a small category enriched in Q equipped with a closure operator on its presheaf category. We investigate Q-closure spaces systematically with specific attention paid to their morphisms and, as preordered fuzzy sets are a special kind of quantaloid-enriched categories, in particular fuzzy closure spaces on fuzzy sets are introduced as an example. By...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1705.04945  شماره 

صفحات  -

تاریخ انتشار 2017